Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
121	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
122	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
123	Microsoft Word - Q_A2.doc Add to Reading List Source URL: ihome.ust.hk Language: English - Date: 2009-02-23 14:42:35 Bra-ket notation Operator Linear temporal logic Schrödinger equation Physics Quantum mechanics Wave function
124	A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-13 10:43:18 Heuristics Game artificial intelligence Combinatorial optimization Linear temporal logic Mathematics A* search algorithm Heuristic function Information science Temporal logic Search algorithms Artificial intelligence Routing algorithms
125	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
126	Smaller Abstractions for ∀CTL∗ without Next? Kai Engelhardt1,2 and Ralf Huuck2,1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 02:12:02 Data management Interpretation Modal logic Symbol Linear temporal logic Logic Temporal logic Abstraction
127	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
128	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
129	Int. J. Systems Sci., 1970, vol. 1, No. 2, EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago, Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:20:11 Entropy Information Linear temporal logic Μ operator Information theory Symbol Constructible universe
130	The Euler equations in fluid mechanics Jordan Bell Department of Mathematics, University of Toronto April 14, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-14 20:22:37 Wave equation Divergence Sheaf Euler equations Continuity equation Linear temporal logic Heat equation Calculus Mathematical analysis Multivariable calculus

UPDATE